These 10 years of ISO/TC79/SC2

Informatics 10 Years Back , 10 Years Ahead

Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman­ tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...

Microprocessors - 10 Years Back, 10 Years Ahead

Child sleep in Japan perspective: based on the experience during these 10 years

ABSTRACT Although sleep is known to be the primary activity of the brain especially during early stage of life, the condition of child sleep has been unfavourable in Japan. In 2000, nearly half of young children in Japan were reported to go to sleep at 10 pm or later. In 2002, we designed a web site for promoting an early bedtime and wake-up time, and for providing sufficient sleep duration for...

Still evolving (after all these years).

[1] Humans are willful creatures. No other species on this planet has gained so much mastery over its own fate. We have neutralized countless threats that once killed us in the millions: we have learned to protect ourselves from the elements and predators in the wild; we have developed cures and treatments for many deadly diseases; we have transformed the small gardens of our agrarian ancestors...

0 Still flat after all these years !

The Universe could be spatially flat, positively curved or negatively curved. Each option has been popular at various times, partly affected by an understanding that models tend to evolve away from flatness. The curvature of the Universe is amenable to measurement, through tests such as the determination of the angles of sufficiently large triangles. The angle subtended by the characteristic sc...